Search Results

Documents authored by Riis Nielson, Hanne

Found 2 Possible Name Variants:

Hanne, Riis Nielson

Document
DOI: 10.4230/DagSemRep.236
Program Analysis (Dagstuhl Seminar 99151)

Authors: Riis Nielson Hanne and Mooly Sagiv

Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)

Abstract
Cite as

Riis Nielson Hanne and Mooly Sagiv. Program Analysis (Dagstuhl Seminar 99151). Dagstuhl Seminar Report 236, pp. 1-31, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1999)

Copy BibTex To Clipboard

@TechReport{hanne_et_al:DagSemRep.236,
  author =	{Hanne, Riis Nielson and Sagiv, Mooly},
  title =	{{Program Analysis (Dagstuhl Seminar 99151)}},
  pages =	{1--31},
  ISSN =	{1619-0203},
  year =	{1999},
  type = 	{Dagstuhl Seminar Report},
  number =	{236},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemRep.236},
  URN =		{urn:nbn:de:0030-drops-151221},
  doi =		{10.4230/DagSemRep.236},
}

Nielson, Hanne Riis

Document
DOI: 10.4230/LIPIcs.TIME.2017.21
Time Dependent Policy-Based Access Control

Authors: Panagiotis Vasilikos, Flemming Nielson, and Hanne Riis Nielson

Published in: LIPIcs, Volume 90, 24th International Symposium on Temporal Representation and Reasoning (TIME 2017)

Abstract
Access control policies are essential to determine who is allowed to access data in a system without compromising the data's security. However, applications inside a distributed environment may require those policies to be dependent on the actual content of the data, the flow of information, while also on other attributes of the environment such as the time. In this paper, we use systems of Timed Automata to model distributed systems and we present a logic in which one can express time-dependent policies for access control. We show how a fragment of our logic can be reduced to a logic that current model checkers for Timed Automata such as UPPAAL can handle and we present a translator that performs this reduction. We then use our translator and UPPAAL to enforce time-dependent policy-based access control on an example application from the aerospace industry.
Cite as

Panagiotis Vasilikos, Flemming Nielson, and Hanne Riis Nielson. Time Dependent Policy-Based Access Control. In 24th International Symposium on Temporal Representation and Reasoning (TIME 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 90, pp. 21:1-21:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)

Copy BibTex To Clipboard

@InProceedings{vasilikos_et_al:LIPIcs.TIME.2017.21,
  author =	{Vasilikos, Panagiotis and Nielson, Flemming and Nielson, Hanne Riis},
  title =	{{Time Dependent Policy-Based Access Control}},
  booktitle =	{24th International Symposium on Temporal Representation and Reasoning (TIME 2017)},
  pages =	{21:1--21:18},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-052-1},
  ISSN =	{1868-8969},
  year =	{2017},
  volume =	{90},
  editor =	{Schewe, Sven and Schneider, Thomas and Wijsen, Jef},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2017.21},
  URN =		{urn:nbn:de:0030-drops-79219},
  doi =		{10.4230/LIPIcs.TIME.2017.21},
  annote =	{Keywords: Access Control, Timed Automata, Time-Dependent Policies, UPPAAL}
}
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact